1
Fundamentos Lógicos: Fatos sobre comparação de números reais e dedução das propriedades de desigualdades
MATH1001CA-PEP-CNLesson 2
00:00
ab > 0 ⇔ a > bba
A comparação de tamanhos entre números reais é a base de toda a lógica matemática. Na reta numérica, os números reais correspondem unicamente a pontos. Observando a posição dos pontos, podemos perceber intuitivamente a ideia de "desigualdade".

Fatos básicos:
  • Se $a-b$ for positivo, então $a > b$;
  • Se $a-b$ for igual a 0, então $a = b$;
  • Se $a-b$ for negativo, então $a < b$.
O 0 é o ponto de separação entre números positivos e negativos, servindo como um "padrão" para comparar tamanhos entre números reais. Usando o método da diferença, podemos transformar a comparação de tamanhos de expressões algébricas complexas em determinar o sinal da diferença, sendo este o método mais básico para provar desigualdades.
Propriedades centrais de desigualdades:
1. Transitividade: $a > b, b > c \Rightarrow a > c$
2. Adição: $a > b \iff a + c > b + c$
3. Multiplicação: $c > 0 \Rightarrow ac > bc$; $c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$